New Width Inference Algorithm for Ptolemy II
نویسندگان
چکیده
In Ptolemy II, the widths of the relations between actors have an important role in specifying the semantics of a model. In some situations, however, explicit relation widths break the modularity of a model. In these cases, we would like to infer the widths of relations from the widths of neighboring relations. There is an existing implementation in Ptolemy, but it has some severe limitations. In this paper, we present the general needs for width inference in Ptolemy II, as well as the weaknesses of the current algorithm. We argue that a better algorithm is necessary, present a possible new algorithm, and analyze its performance over variety of metrics.
منابع مشابه
Double Fuzzy Implications-Based Restriction Inference Algorithm
The main condition of the differently implicational inferencealgorithm is reconsidered from a contrary direction, which motivatesa new fuzzy inference strategy, called the double fuzzyimplications-based restriction inference algorithm. New restrictioninference principle is proposed, which improves the principle of thefull implication restriction inference algorithm. Furthermore,focusing on the ...
متن کاملPtinyOS: Simulating TinyOS in Ptolemy II
TinyOS is a component-based operating system designed for wireless embedded sensor networks. TOSSIM provides discrete event simulation of homogeneous TinyOS programs at the interrupt level. This paper presents PtinyOS, an integrated development environment built in Ptolemy II for developing and simulating heterogeneous TinyOS programs. PtinyOS will allow application developers to easily transit...
متن کاملScalable Semantic Annotation Using Lattice-Based Ontologies
Including semantic information in models helps to expose modeling errors early in the design process, engage a designer in a deeper understanding of the model, and standardize concepts and terminology across a development team. It is impractical, however, for model builders to manually annotate every modeling element with semantic properties. This paper demonstrates a correct, scalable and auto...
متن کاملThe Simulation of Synchronous Reactive Systems In Ptolemy II
The Synchronous Reactive (SR) domain in Ptolemy II models systems as components with both infinite processing resources and infinite communication bandwidth. Computation within components and data transfer between components are considered to happen instantaneously. Therefore, a given system is simulated as if all of its components execute and produce outputs at the same time. This raises inter...
متن کاملSystems Modeling in Ptolemy
Synchronous Dataflow (SDF) is useful in modeling communications and signal processing systems. We describe a communication actor library based on the SDF semantics in Ptolemy II and show how to use these actors to simulate communication systems. However, many communication and signal processing systems nowadays use adaptive algorithms and control protocols. These sometimes violate SDF principle...
متن کامل